$\forall$$A$,$B$:Type, $a$:$A$, $b$:($A$$\rightarrow$$B$). let $x$ = $a$ in $b$($x$) $\in$ $B$